\section{End-to-end verification}
The client should be able to verify whether a read request
returns the correct reply: this allows reading from one
node safely and thus maximizes read scalability. 